Optimizing symbolic model checking for statecharts
نویسندگان
چکیده
منابع مشابه
Optimizing Symbolic Model Checking for Statecharts
ÐSymbolic model checking based on binary decision diagrams is a powerful formal verification technique for reactive systems. In this paper, we present various optimizations for improving the time and space efficiency of symbolic model checking for systems specified as statecharts. We used these techniques in our analyses of the models of a collision avoidance system and a faulttolerant electric...
متن کاملOptimizing Symbolic Model Checking for Constraint-Rich Models
This paper presents optimizations for verifying systems with complex time-invariant constraints. These constraints arise naturally from modeling physical systems, e.g., in establishing the relationship between different components in a system. To verify constraint-rich systems, we propose two new optimizations. The first optimization is a simple, yet powerful, extension of the conjunctivepartit...
متن کاملDecoupling Synchronization from Logic for Efficient Symbolic Model Checking of Statecharts
Symbolic model checking is a powerful formal-verification technique for reactive systems. In this paper we address the problem of symbolic model checking for software specifications written as statecharts. We concentrate on how the synchronization of statecharts relates to the efficiency of model checking. We show that statecharts synchronized in an oblivious manner, such that the synchronizati...
متن کاملChapter Four - Optimizing the Symbolic Execution of Evolving Rhapsody Statecharts
Model Driven Engineering (MDE) is an iterative and incremental software development process. Supporting the analysis and the verification of software systems developed following the MDE paradigm requires to adopt incrementality when carrying out these crucial tasks in a more optimized way. Communicating State Machines are one of the various formalisms used in MDE tools to model and describe the...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: IEEE Transactions on Software Engineering
سال: 2001
ISSN: 0098-5589
DOI: 10.1109/32.908961